This is the artifact for the POPL 2022 submission #30 Fair Termination of Binary Sessions. The artifact consists of: a VirtualBox image `FairCheck.ova` a source code archive `FairCheck-master.zip` a PDF document with the installation instructions and the evaluation steps of the artifac
Artifact accompanying the CAV 2023 paper "Automatic Program Instrumentation for Automatic Verificati...
This package contains code and data needed for reproducing results reported in the following paper: ...
This is the artifact for our paper, "Equality Saturation Theory Exploration à la Carte", which will ...
This is the artifact for the POPL 2022 submission #30 Fair Termination of Binary Sessions. The artif...
This is the artifact accompanying the CAV 2021 paper "Product Programs in the Wild: Retrofitting Pro...
Artifact associated with POPL 2023 paper, "Taking Back Control in an Intermediate Representation for...
Artifact that accompanies the "Capture, Analyze, Diagnose: Realizability Checking of Requirements in...
This artifact contains a Virtual Box Image, with everything installed to run the experiments in the ...
This is the artifact for our OOPSLA'23 paper “Run-Time Prevention of Software Integration Failures o...
This is the artifact for the CAV 2021 paper, “Reflections on Termination of Linear Loops”. The artif...
Ths artifact consists of a docker image with instructions, the dataset, and the code necessary to re...
This package was created for the 31st USENIX Security Symposium Artifact submission. It is the final...
The artifact for Staged Abstract Interpreters (OOPSLA 2019).This version removes the .git folder
This artifact contains the source code, benchmarks, scripts, and documentation for reproduce the eva...
This is the archival artifact intended for artefact evaluation of the paper "An Experimental Evaluat...
Artifact accompanying the CAV 2023 paper "Automatic Program Instrumentation for Automatic Verificati...
This package contains code and data needed for reproducing results reported in the following paper: ...
This is the artifact for our paper, "Equality Saturation Theory Exploration à la Carte", which will ...
This is the artifact for the POPL 2022 submission #30 Fair Termination of Binary Sessions. The artif...
This is the artifact accompanying the CAV 2021 paper "Product Programs in the Wild: Retrofitting Pro...
Artifact associated with POPL 2023 paper, "Taking Back Control in an Intermediate Representation for...
Artifact that accompanies the "Capture, Analyze, Diagnose: Realizability Checking of Requirements in...
This artifact contains a Virtual Box Image, with everything installed to run the experiments in the ...
This is the artifact for our OOPSLA'23 paper “Run-Time Prevention of Software Integration Failures o...
This is the artifact for the CAV 2021 paper, “Reflections on Termination of Linear Loops”. The artif...
Ths artifact consists of a docker image with instructions, the dataset, and the code necessary to re...
This package was created for the 31st USENIX Security Symposium Artifact submission. It is the final...
The artifact for Staged Abstract Interpreters (OOPSLA 2019).This version removes the .git folder
This artifact contains the source code, benchmarks, scripts, and documentation for reproduce the eva...
This is the archival artifact intended for artefact evaluation of the paper "An Experimental Evaluat...
Artifact accompanying the CAV 2023 paper "Automatic Program Instrumentation for Automatic Verificati...
This package contains code and data needed for reproducing results reported in the following paper: ...
This is the artifact for our paper, "Equality Saturation Theory Exploration à la Carte", which will ...
DOI
Add to ORKG